English theorem proving program: tłumaczenie na inne języki